Stochastic Modeling and Analysis Using QPME: Queueing Petri Net Modeling Environment v2.0

QPME 2.0 - A Tool for Stochastic Modeling and Analysis Using Queueing Petri Nets

Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the modeling power and expressiveness of queueing networks and stochastic Petri nets, queueing Petri nets provide a number of advantages. In this paper, we present Version 2.0 of our tool QPME (Queueing Petri net Modeling Environment) ...

QPME 2.0 Queueing Petri net Modeling Environment User’s Guide A software tool for performance modeling and analysis using queueing Petri nets

QPME 1.0 Queueing Petri net Modeling Environment User’s Guide A software tool for performance modeling and analysis using Queueing Petri Nets

Formal approach on modeling and predicting of software system security: Stochastic petri net

To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...

Modeling and Performance Evaluation of Energy Consumption in S-MAC Protocol Using Generalized Stochastic Petri Nets

One of the features of wireless sensor networks is that the nodes in this network have limited power sources. Therefore, assessment of energy consumption in these networks is very important. What has been common practice has been the use of traditional simulators to evaluate the energy consumption of the nodes in these networks. Simulators often have problems such as fluctuating output values i...